Sfoglia per Rivista LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Rule Formats for Nominal Process Calculi
2017-01-01 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A; Ortega-Mallén, Y
Selecting nodes and buying links to maximize the information diffusion in a network
2017-01-01 D'Angelo, G; Severini, L.; Velaj, Y.
Simple greedy algorithms for fundamental multidimensional graph problems
2017-01-01 Bilò, V.; Caragiannis, I.; Fanelli, A.; Flammini, Michele; Monaco, Gianpiero
What Can Be Verified Locally?
2017-01-01 Balliu, A; D'Angelo, G; Fraigniaud, P; Olivetti, D
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Rule Formats for Nominal Process Calculi | 1-gen-2017 | Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A; Ortega-Mallén, Y | |
Selecting nodes and buying links to maximize the information diffusion in a network | 1-gen-2017 | D'Angelo, G; Severini, L.; Velaj, Y. | |
Simple greedy algorithms for fundamental multidimensional graph problems | 1-gen-2017 | Bilò, V.; Caragiannis, I.; Fanelli, A.; Flammini, Michele; Monaco, Gianpiero | |
What Can Be Verified Locally? | 1-gen-2017 | Balliu, A; D'Angelo, G; Fraigniaud, P; Olivetti, D |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile